\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}What you will learn in this lab session}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Is my installed or-tools library operational?}{1}}
\newlabel{working_settings}{{2}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Hello world}{1}}
\newlabel{hello_world}{{3}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {4}How to generate a criptaritymetic puzzle?}{1}}
\newlabel{how_to_generate_crytarithmetic_puzzle}{{4}{1}}
\newlabel{LastPage}{{}{5}}
